*Use page_touched to deal with client side history caching min timestamp. This handle...

diff --git a/includes/PageHistory.php b/includes/PageHistory.php
index 23bd944..6fc82b2 100644 (file)
--- a/includes/PageHistory.php
+++ b/includes/PageHistory.php
@@ -65,7 +65,7 @@ class PageHistory {
                 * Allow client caching.
                 */
 
-               if( $wgOut->checkLastModified( $this->mArticle->getTimestamp() ) )
+               if( $wgOut->checkLastModified( $this->mArticle->getTouched() ) )
                        /* Client cache fresh and headers sent, nothing more to do. */
                        return;